equivalence partition

等价分割法